MODULE Proced2;

FROM Terminal IMPORT WriteString, WriteInt;

VAR notResult : BOOLEAN;

BEGIN
    notResult := NOT 10;
END;
    
END Proced2.